In 6 Related Work and Summary 5 Specification Acquisition 4.2 Concrete Theory and Implementation Relation 4 Domain Engineering
نویسنده
چکیده
This paper describes AMPHION1, a knowledge-based software engineering (KBSE) system that guides a user in developing a formal specification of a problem and then implements this specification as a program consisting of calls to subroutines from a library. AMPHION is domain independent and is specialized to an application domain through a declarative domain theory. A user is guided in creating a diagram that represents the formal specification through menus based upon the domain theory and the current state of the specification. The diagram also serves to document the specification. Program synthesis is based upon constructive theorem proving, and is efficient and totally automatic.
منابع مشابه
AGORA: A Search Engine for Software Components
ix 1 An Emerging Component Industry 1 1.1 Background 1 1.2 Agora 1 2 Features and Capabilities 3 2.1 Location and Indexing 3 2.2 Search and Retrieval 3 2.3 Advanced Search Features 5 2.4 Industry Domain 6 3 Implementation 9 3.1 AltaVista Search Developer’s Kit (SDK) 11 3.2 JavaBeans Agent 12 3.3 Performance of the JavaBeans Agent 14 3.4 CORBA Agent 15 3.4.1 CORBA Background 16 3.4.2 Application...
متن کاملA New Approach for Numerical Analysis of the RC Shear Walls Based on Timoshenko Beam Theory Combined with Bar-Concrete Interaction
In this paper, a new approach for nonlinear numerical modelling of the reinforced concrete shear walls with consideration of bar-concrete interaction and shear deformation is proposed. Bar and concrete stress-strain relations, the bar-concrete interaction, the shear stress-strain relation and, also, their cyclic behavior including the strength degradation and stiffness degradation are adopted a...
متن کاملExplaining Synthesized Software
Motivated by NASA’s need for high-assurance software, NASA Ames' Amphion project has developed a generic program generation system based on deductive synthesis. Amphion has a number of advantages, such as the ability to develop a new synthesis system simply by writing a declarative domain theory. However, as a practical matter, the validation of the domain theory for such a system is problemati...
متن کاملAbstract Models +
A successful technique in modern Software Engineering practice is to develop domain-specific specification languages to characterize formally the idioms of discourse and jargon of specific problem domains. With poorly-understood domains it is best to construct an abstract syntax to characterize the domain concepts and abstractions before developing a concrete syntax. Often, however, a good conc...
متن کاملReinforced Concrete Columns in Torsion (RESEARCH NOTE).
ACT does not suggest any regulations for columns under torsion. However, by all means, the number of such columns used in steel and concrete structures is abundant. In this paper, using the results of laboratory tests on 35 square and rectangular columns with intermediate slender ratios, relations for determination of torsional strengths of reinforced concrete under axial compression have been ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2007